Algebraic specification and formal methods for program development: what are the real problems?
نویسندگان
چکیده
منابع مشابه
Algebraic Specification and Program Development by Stepwise Refinement
Various formalizations of the concept of “refinement step” as used in the formal development of programs from algebraic specifications are presented and compared.
متن کاملSpecifications of Software Architectures using Diagrams of Constructions
Formal methods promise the ultimate quality of software artifacts with mathematical proof of their correctness. Algebraic specification is one of such methods, providing formal specifications of system components suitable for verification of correctness of all individual steps in the software development process, and hence of the entire development process and of the resulting program. In this ...
متن کاملA formally grounded software specification method
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of successful developments. This goal was addressed both from informal approaches (providing in particular visual notations) and formal ones (providing a formal sound semantic basis). Informal approaches are often driven...
متن کاملChecking Formal Specifications by Testing
Formal specification methods hold promise for bridging the wide gap between an intuitive idea for solving a problem by computer, and the executable program that attempts to do the job. The use of formalism is itself a good thing, allowing professionals to understand and analyze their work better. However, formal methods are an aid to human effort, not a panacea. Conventional software testing ca...
متن کاملAlgebraic Frameworks for Probabilistic and Concurrent Systems
Formal methods have been extensively used and studied in the area of theoretical computer science ultimately with the aim of providing the technical foundations to justify design methods for producing high quality software systems. Formal methods provide a way to write specifications of required behaviour together with rules to check that the implementation’s behaviour is consistent with that o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1990